Este artigo apresenta a biografia e o percurso profissional de Pedro Ferreira, impressor activo em Lisboa no século XVIII, e descreve algumas das marcas tipográficas utilizadas nas suas impressões.

Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and classical (...) negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

An Interview with Ana-Teresa Tymieniecka by Yvanka B. Raynova realized in December 1994 at the World Phenomenology Institute. It was published firstly in Bulgarian, and thereafter in English, on the homepage of the World Phenomenology Institute.

We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whenever the circumscription of a first-order sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of (...) models of circumscribed theories are either elementary or not Δ-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a first-order sentence Φ and whenever such class of P; Z-minimal models is Δ-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of Φ is the class of models of Φ ∧ ψ. In order words, the circumscription of P in Φ with Z varied can be replaced by Φ plus this explicit definition ψ for Pi. (shrink)

We investigate some logics which use the concept of minimal models in their definition. Minimal objects are widely used in Logic and Computer Science. They are applied in the context of Inductive Definitions, Logic Programming and Artificial Intelligence. An example of logic which uses this concept is the MIN logic due to van Benthem [20]. He shows that MIN is equivalent to the Least Fixed Point logic in expressive power. In [6], we extended MIN to the MIN Logic and proved (...) it is equivalent to second-order logic in expressive power. Here, we exhibit a fragment of MIN, the MINΔ logic, which is more expressive than LFP, less expressive than MIN and closed under boolean connectives and first-order quantification. In order to do this, in the Section 2, we prove that the Downward Löwenheim-Skolem Theorem holds for arbitrary countable sets of LFP-formulas by showing that every infinite structure has a countable LFP-substructure. The method may be used to generalize this theorem to any set of LFP-formulas. We also analyse the expressive power of the Nested Abnormality Theories of Lifschitz, another formalism based on minimal models used in Artificial Intelligence, and we demonstrate that for each second-order theory Γ there is a NAT which is a conservative extension of Γ. We give a translation from second-order sentences into such NATs which is linear in the size of the sentence in prenex normal form. Finally, we establish a hierarchy of expressiveness of these logics that deal with the concept of minimal models. (shrink)

This article discusses the existing duality between the terms Earth and world under the of the 21st century ecological crisis. It proposes, from the deconstruction of anthropocentric and ecocentric values, an analysis of the philanthropic/sustainable paradigm, as a way of understanding the interdisciplinary nature of the possible coexistence between Man and Nature. For this, are demonstrated some hierarchical imbalances present in the concession of Western culture proposed by Samuel Huntington, in the ecological imaginary of indigenous communities defended by Zoe Todd, (...) and in the environmental impact of consumer society from the perspective of Patrick Curry, Richard Sylvan, and David Bennett. As a result, the importance of understanding a balance between consumption and production is demonstrated, condemning the elitist anthropocentrism of western communities as the cause and solution of the ecological problem, transversally illustrated from the market and the art world under the conception of the practical uselessness of its existence and given its contribution to a problem of overproduction. (shrink)

Sister chromatid cohesion mediated by the ring‐shaped cohesin complex is essential for faithful chromosome segregation. A tight spatial and temporal control of cohesin release is observed in mitosis and meiosis, and a family of proteins known as shugoshins play a major role in this process. Shugoshin (Sgo) protects centromeric cohesin from dissociation in early mitosis and from cleavage by separase in meiosis I. Three exciting new reports indicate that this is accomplished by recruiting the serine/threonine protein phosphatase 2A (PP2A) to (...) centromeres.(1–3) The proposed targets of PP2A activity include cohesin and Sgo, both of which would otherwise dissociate from chromosomes upon phosphorylation by Polo kinase. Thus, a balance of kinase and phosphatase activities seems to be the key to the conserved mechanism that regulates the stepwise release of cohesin from mitotic and meiotic chromosomes. Additional evidence, however, suggests that this is only part of the story, and that Sgo has also a role independent of PP2A. BioEssays 28: 775–779, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

In this co-authored article, one contributor presents a case story from an interview with a social worker in Slovenia, while five others offer commentaries on ethical aspects of the case. The story comes from a practitioner working with a pregnant young woman, arranging for adoption following birth. The social worker respected the woman’s request to keep her identity secret, hence not registering her in the institutional records. However, whilst the social worker was on holiday, the baby was born and anonymity (...) was not maintained. Commentaries 1 and 2 evaluate the story through its form: as a narrative with a tempo and plot; and as a performance that creates its narrator as an agent with an ethical identity. Commentary 3 uses a normative moral philosophical framework (virtue ethics), while the final two commentaries take a more grounded approach. Commentary 4 views the social worker as using discretion to act in a space void of rules (there is no provision for anonymous birth), whereas Commentary 5 foregrounds the Slovenian code of ethics as a source of ethical standards unremarked upon by the social worker. The article ends with reflections on the value of exploring multiple perspectives and engaging in dialogue in developing ethical understandings and actions. (shrink)

This article proposes to analyse some aspects of the appropriation of New School thinking in Brazil, particularly Deweyan pragmatism, in the 1950s and 1960s. The analysis is based on the assumption that the developmentalist ideology that punctuated the debate on the economic, political and social restructuring of the country in these two decades constituted fertile ground for the return and expansion of pragmatist thinking amongst Brazilian educators, articulating itself, sometimes in contradictory ways, with this ideology. The focus of the analysis (...) will be on the writings of the group of educators which circulated around the figure of Anísio Teixeira, at the time director of the National Institute for Pedagogic Studies, an organ linked to the Ministry of Education and Culture, which set itself the task of producing research that would support public policy in the field of education, as well as constituting itself as a center for teacher education and the stimulus and development of innovative experiences in the public school system. The appropriation of Deweyan pragmatism, in this context, had a triple perspective: pragmatism as scientific method, implying a specific conception of science, particularly the social sciences, with emphasis on the application of scientific knowledge in the solution of practical problems; as a way of democratic life; and as a synonym for experimentalism, in the sphere of schooling. (shrink)

O objetivo deste artigo é analisar a letra do samba-enredo: “Agudás: os que levaram a África no coração e trouxeram para o coração da África, o Brasil”. Que contribuição este enredo oferece ao ensino de História da África e cultura afro-brasileira? Oferece uma memória histórica inédita ao carnaval carioca, dando visibilidade ao povo negro que retornou à África antes da abolição da escravidão no Brasil em 1888. Assim, propõe desconstruir o paradigma eurocêntrico e construir caminhos para a descolonização do currículo (...) escolar, na perspectiva dos Estudos Culturais. Esta arte carnavalesca da escola de samba Unidos da Tijuca, do carnaval carioca de 2003, é uma pedagogia cultural com potencial para desenvolver uma educação antirracista e decolonial no espaço escolar. Palavras-chave: Lei n. 10.639/2003. História da África. Ensino de História. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

This article provides current Schwartz Values Survey (SVS) data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societal-level analyses. At the individual-level, we report on the ten circumplex values sub-dimensions and two sets of values dimensions (collectivism and individualism; openness to change, conservation, self-enhancement, and self-transcendence). At the societal-level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective (...) autonomy, intellectual autonomy, egalitarianism, and harmony. For each society, we report the Cronbach’s α statistics for each values dimension scale to assess their internal consistency (reliability) as well as report interrater agreement (IRA) analyses to assess the acceptability of using aggregated individual level values scores to represent country values. We also examined whether societal development level is related to systematic variation in the measurement and importance of values. Thus, the contributions of our evaluation of the SVS values dimensions are two-fold. First, we identify the SVS dimensions that have cross-culturally internally reliable structures and within-society agreement for business professionals. Second, we report the society cultural values scores developed from the twenty-first century data that can be used as macro-level predictors in multilevel and single-level international business research. (shrink)

Translating and validating measurement instruments in sport and exercise psychology is not an easy task. Rather, it is a task that requires effort and time, for the process is not limited to a simple translation to translate words from one language to another, just in order to make valid and reliable measure. All researchers should be aware that the only proper way is to adopt rigorous and robust methodologies to conduct the process from the preliminary stage of translation to reaching (...) the validation stage of the psychological variable. Only so is it possible to avoid creating fragile and inadequate psychological assessment instruments that can jeopardize the entire investigation to be held with its use. Thus, the main objective of this work is to promote reflection and discussion on the subject by presenting some considerations and recommendations about translation and validation of questionnaires for psychological assessment applied to sport and exercise domain. (shrink)

Research suggested that developing mindfulness skills in children improves proximal outcomes, such as attention and executive functions, as well as distal outcomes, such as academic achievement. Despite empirical evidence supporting this claim, research on the benefits of mindfulness training in child populations is scarce, with some mixed findings in the field. Here, we aimed to fill in this gap, by examining the effects of a mindfulness training on third graders’ proximal and distal outcomes, namely, attention and executive functions (viz., inhibitory (...) control, working memory, and cognitive flexibility) as well as literacy-related achievement (viz., handwriting fluency, text quality, Portuguese grades). These outcomes were measured with behavioral tasks and teacher ratings. Sixty-six Portuguese children were randomly allocated to an experimental group receiving mindfulness training (n= 29) or an active control group receiving relaxation training (n= 37). Both training programs were implemented by psychologists in two 30-min weekly sessions for 8 weeks. All students were assessed before and after the interventions. Three main findings are noteworthy: (a) mindfulness training enhanced teacher-rated cognitive flexibility and a performance-based composite score of executive functions among children with higher pretest scores; (b) relaxation training improved performance-based cognitive flexibility and the composite score of executive functions among children with lower pretest scores; (c) children receiving mindfulness training had higher handwriting fluency and better grades in Portuguese than those receiving relaxation training. These findings provide preliminary evidence on the benefits of mindfulness training in educational settings and highlight the moderating role of baseline performance on those benefits. (shrink)

Resumen Este texto se centra en la concepción de la Kaaba de una mujer excepcional por su relación con Dios y por su conocimiento místico (ma‘arifa), Rābi‘a al-‘Adawiyya (m. 801). Ella protagonizó el paso de la ascética a la mística en la Basora del siglo VIII y marcó una diferencia respecto a los ascetas de su tiempo: realizó el viaje al interior de sí misma y ejerció una continua introspección para buscar el profundo deseo del corazón y purificarlo. Los relatos (...) de la peregrinación a la Kaaba, la Casa o morada de Dios, se comparan a los grados de oración descritos por Teresa de Jesús en el Libro de la Vida.Palabras clave: Kaaba, mística, Rābi‘a al-‘Adawiyya, Teresa de Jesús. (shrink)

RESUMEN Una vez que el foco de la reflexión pasa de las teorías ideales a la aplicación de la justicia social, centrada en las instituciones de las sociedades democráticas, se requiere prestar especial atención a los estilos de vida. Estos tienen una alta incidencia en cómo la justicia es realizada y afectan tanto a la desigualdad económica como a la disponibilidad de los recursos naturales. En nuestras sociedades es posible establecer restricciones a los estilos de vida, especialmente en aquellos casos (...) en que, por el efecto de algunas dinámicas sociales, aquellos se desacoplan de las concepciones del bien. Se defiende que, en tales casos, la base normativa que permite exigir el respeto a los estilos de vida se disuelve y por ello es posible justificar su restricción. ABSTRACT Now that the focus of reflection has shifted from ideal theories to the application of social justice, centered on the institutions of democratic societies, it is necessary to pay special attention to lifestyles, since they not only influence the realization of justice, but also have an effect on economic inequality and the availability of natural resources. In our societies, it is possible to place restrictions on lifestyles, especially in those cases in which, influenced by certain social dynamics, they disengage from conceptions of the good. The article argues that, in those cases, the normative base grounding the demand that lifestyles be respected is dissolved, thus justifying their restriction. (shrink)

An hommage of Yvanka B. Raynova to Ana-Teresa Tymieniecka, including personal mementoes, and an overview of her philosophical work, editorial activities, and conferences within the World Institute of Phenomenology.

Esta bibliograf a compila la extensa obra publicada de Leopoldo Zea: monograf as, cap tulos en libros, art culos period sticos y pr logos e introducciones. Incluye tambi n una bibliograf a sobre Zea.

In this landmark collection of original essays, outstanding feminist critics in Britain, France, and the United States present new perspectives on feminism and ...

Exhausting Modernity is a bold and exciting new work on the exhaustion of our resources, both natural and human. Brennan marshalls the insights of Marx and Freud to provide a compelling analysis of the pervading modern capitalism: environmental collapse, rising poverty levels, and the increased global economic disparity. Linking the consumption of environmental resources to our own depleted psychic life, she shows that modernity must be rethought if we are to find a sustainable future for both the environment and our (...) own psychic life. (shrink)

Civility is often treated as an essential virtue in liberal democracies that promise to protect diversity as well as active disagreement in the public sphere. Yet the fear that our tolerant society faces a crisis of incivility is gaining ground. Politicians and public intellectuals call for "more civility" as the solution--but is civility really a virtue? Or is it something more sinister--a covert demand for conformity that silences dissent? Mere Civility sheds light on this tension in contemporary political theory and (...) practice by examining similar appeals to civility in early modern debates about religious toleration. In seventeenth-century England, figures as different as Roger Williams, Thomas Hobbes, and John Locke could agree that some restraint on the wars of words and "persecution of the tongue" between sectarians would be required; and yet, they recognized that the prosecution of incivility was often difficult to distinguish from persecution.--. (shrink)

In History After Lacan, Teresa Brennan argues that Jacques Lacan was not an ahistorical post-structuralist. She tells the story of a social psychosis, beginning with a discussion of Lacan's neglected theory of history which argued that we are in the grip of a psychotic's era which began in the seventeenth century and climaxes in the present. By extending and elaborating on Lacan's theory, Brennan develops a general theory of modernity. Contrary to postmodern assumptions, she argues, we need a general (...) historical explanation. An understanding of historical dynamics is essential if we are to make the connections between the outstanding facts of modernity--ethnocentrism, the relation between the sexes, and ecological catastrophe. A challenging feminist, interdisciplinary study, History After Lacan will be essential reading for social, cultural, and political theorists, historians, psychoanalysts, and literary theorists. (shrink)

Both the diagnosis and medical treatment of gender dysphoria —particularly in children and adolescents—have been the subject of significant controversy in recent years. In this paper, we outline the means by which GD is diagnosed in children and adolescents, the currently available treatment options, and the bioethical issues these currently raise. In particular, we argue that the families and healthcare providers of children presenting with GD currently face two main ethical dilemmas in decision making regarding treatment: the pathway dilemma and (...) the consent dilemma. (shrink)

The idea that one can 'soak up' someone else's mood or sense the tension in a room is familiar - as in 'negative energy'. This ability to borrow or share states of mind is now pathologized, as the author shows in relation to affective transfer in psychiatric clinics.